
(B (=> rain wet)
   (=> sprinkler wet)
   (=> typhoon sprinkler)
   (=> storm rain)
   (=> dry sprinkler)
   (=> (^ mary mary_angry) sprinkler)
   )

(O (^ wet))